Search results for "model [neutrino]"

showing 10 items of 1203 documents

MIPPIE: the mouse integrated protein–protein interaction reference

2020

Abstract Cells operate and react to environmental signals thanks to a complex network of protein–protein interactions (PPIs), the malfunction of which can severely disrupt cellular homeostasis. As a result, mapping and analyzing protein networks are key to advancing our understanding of biological processes and diseases. An invaluable part of these endeavors has been the house mouse (Mus musculus), the mammalian model organism par excellence, which has provided insights into human biology and disorders. The importance of investigating PPI networks in the context of mouse prompted us to develop the Mouse Integrated Protein–Protein Interaction rEference (MIPPIE). MIPPIE inherits a robust infr…

Computer scienceved/biology.organism_classification_rank.speciesprotein-protein interactionsCellular homeostasisContext (language use)Computational biologycomputer.software_genreGeneral Biochemistry Genetics and Molecular BiologyProtein–protein interaction03 medical and health sciencesMice0302 clinical medicineProtein Interaction MappingMus musculusAnimalsProtein Interaction MapsModel organismDatabases Proteinmousedatabase030304 developmental biology0303 health sciencesved/biologyComputational BiologyComplex networkprotein interaction networkOriginal ArticleWeb serviceUser interfaceGeneral Agricultural and Biological SciencesProtein networkcomputer030217 neurology & neurosurgerySoftwareInformation SystemsDatabase: The Journal of Biological Databases and Curation
researchProduct

Competition of Dzyaloshinskii-Moriya and Higher-Order Exchange Interactions in Rh/Fe Atomic Bilayers on Ir(111)

2018

Using spin-polarized scanning tunneling microscopy and density functional theory we demonstrate the occurrence of a novel type of noncollinear spin structure in $\mathrm{Rh}/\mathrm{Fe}$ atomic bilayers on Ir(111). We find that higher-order exchange interactions depend sensitively on the stacking sequence. For fcc-$\mathrm{Rh}/\mathrm{Fe}/\mathrm{Ir}(111)$, frustrated exchange interactions are dominant and lead to the formation of a spin spiral ground state with a period of about 1.5 nm. For hcp-$\mathrm{Rh}/\mathrm{Fe}/\mathrm{Ir}(111)$, higher-order exchange interactions favor an up-up-down-down ($\ensuremath{\uparrow}\ensuremath{\uparrow}\ensuremath{\downarrow}\ensuremath{\downarrow}$) s…

Condensed Matter::Quantum GasesPhysicsCondensed matter physicsMagnetic momentStackingGeneral Physics and Astronomy02 engineering and technologySpin structureType (model theory)021001 nanoscience & nanotechnology01 natural scienceslaw.inventionlaw0103 physical sciencesPhysics::Atomic and Molecular ClustersCondensed Matter::Strongly Correlated ElectronsDensity functional theoryScanning tunneling microscope010306 general physics0210 nano-technologySpin (physics)Ground statePhysical Review Letters
researchProduct

On Severi Type Inequalities for Irregular Surfaces

2017

Let X be a minimal surface of general type and maximal Albanese dimension with irregularity q ≥ 2. We show that K2 X ≥ 4χ(OX) + 4(q − 2) if K2 X < 9 2 χ(OX), and also obtain the characterization of the equality. As a consequence, we prove a conjecture of Manetti on the geography of irregular surfaces if K2 X ≥ 36(q−2) or χ(OX) ≥ 8(q−2), and we also prove a conjecture that the surfaces of general type and maximal Albanese dimension with K2 X = 4χ(OX) are exactly the resolution of double covers of abelian surfaces branched over ample divisors with at worst simple singularities.

ConjectureMinimal surfaceGeneral Mathematics010102 general mathematicsCharacterization (mathematics)Type (model theory)01 natural sciencesCombinatoricsSimple (abstract algebra)Gravitational singularity0101 mathematicsAbelian groupMathematicsResolution (algebra)International Mathematics Research Notices
researchProduct

An optimality test for semi-infinite linear programming

1992

In this paper we present a test to characterize the optimal solutions for the continuous semi-infinite linear programming problem. This optimality characterization is a condition of Kuhn–Tucker type. The resolution of a linear program permits to check the optimality of a feasible point,to detect the unboundedness of the problem and to find descent directions. We give some illustrative examples. We show that the local Mangasarian–Fromovitz constraint qualification is almost equivalent to Slater qualification for this problem. Furthermore, it follows from our study that this optimality condition is always necessary for a wide class of semi-infinite linear programming problems

Constraint (information theory)Mathematical optimizationControl and OptimizationLinear programmingSemi-infiniteApplied MathematicsPoint (geometry)Management Science and Operations ResearchType (model theory)Semi-infinite programmingLinear-fractional programmingDescent (mathematics)MathematicsOptimization
researchProduct

Towards human cell simulation

2019

The faithful reproduction and accurate prediction of the phe-notypes and emergent behaviors of complex cellular systems are among the most challenging goals in Systems Biology. Although mathematical models that describe the interactions among all biochemical processes in a cell are theoretically feasible, their simulation is generally hard because of a variety of reasons. For instance, many quantitative data (e.g., kinetic rates) are usually not available, a problem that hinders the execution of simulation algorithms as long as some parameter estimation methods are used. Though, even with a candidate parameterization, the simulation of mechanistic models could be challenging due to the extr…

Constraint-based modelingAgent-based simulation; Big data; Biochemical simulation; Computational intelligence; Constraint-based modeling; Fuzzy logic; High-performance computing; Model reduction; Multi-scale modeling; Parameter estimation; Reaction-based modeling; Systems biology; Theoretical Computer Science; Computer Science (all)Computer scienceBiochemical simulationDistributed computingSystems biologyBig dataComputational intelligenceContext (language use)ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONITheoretical Computer ScienceReduction (complexity)Big dataParameter estimationHigh-performance computingComputational intelligenceAgent-based simulationMathematical modelbusiness.industryModel reductionComputer Science (all)Multi-scale modelingINF/01 - INFORMATICASupercomputerVariety (cybernetics)Fuzzy logicReaction-based modelingbusinessSystems biology
researchProduct

A Novel Adaptive Sliding Mode Controller for a 2-DOF Elastic Robotic Arm

2022

Collaborative robots (or cobots) are robots that are capable of safely operating in a shared environment or interacting with humans. In recent years, cobots have become increasingly common. Compliant actuators are critical in the design of cobots. In real applications, this type of actuation system may be able to reduce the amount of damage caused by an unanticipated collision. As a result, elastic joints are expected to outperform stiff joints in complex situations. In this work, the control of a 2-DOF robot arm with elastic actuators is addressed by proposing a two-loop adaptive controller. For the outer control loop, an adaptive sliding mode controller (ASMC) is adopted to deal with unce…

Control and OptimizationArtificial Intelligenceadaptive sliding mode controller; model reference adaptive controller; elastic robot arm; roboticsMechanical EngineeringVDP::Teknologi: 500::Industri- og produktdesign: 640Robotics
researchProduct

Fixed Point Theorems in Partially Ordered Metric Spaces and Existence Results for Integral Equations

2012

We derive some new coincidence and common fixed point theorems for self-mappings satisfying a generalized contractive condition in partially ordered metric spaces. As applications of the presented theorems, we obtain fixed point results for generalized contraction of integral type and we prove an existence theorem for solutions of a system of integral equations.

Control and OptimizationMathematical analysisFixed-point theoremExistence theoremFixed pointType (model theory)Fixed-point propertyIntegral equationComputer Science ApplicationsMetric spaceSettore MAT/05 - Analisi MatematicaSignal ProcessingFixed point integral equations ordered metric spaceCoincidence pointAnalysisMathematicsNumerical Functional Analysis and Optimization
researchProduct

Probabilistic interpretation of the Calderón problem

2017

In this paper, we use the theory of symmetric Dirichlet forms to give a probabilistic interpretation of Calderon's inverse conductivity problem in terms of reflecting diffusion processes and their corresponding boundary trace processes. This probabilistic interpretation comes in three equivalent formulations which open up novel perspectives on the classical question of unique determinability of conductivities from boundary data. We aim to make this work accessible to both readers with a background in stochastic process theory as well as researchers working on deterministic methods in inverse problems.

Control and OptimizationStochastic processComputer science010102 general mathematicsProbabilistic logicBoundary (topology)Inverse problem01 natural sciencesDirichlet distributionInterpretation (model theory)010104 statistics & probabilitysymbols.namesakeModeling and SimulationNeumann boundary conditionsymbolsDiscrete Mathematics and CombinatoricsApplied mathematics0101 mathematicsAnalysisTRACE (psycholinguistics)Inverse Problems &amp; Imaging
researchProduct

Controllability-type properties for elliptic systems and applications

1991

We consider approximate and exact controllability results for elliptic problems. These results enable one to formulate optimal shape design problems in a fixed domain with certain boundary conditions.

ControllabilityShape designElliptic systemsMathematical analysisBoundary value problemType (model theory)MathematicsDomain (software engineering)
researchProduct

Variable exponent p(x)-Kirchhoff type problem with convection

2022

Abstract We study a nonlinear p ( x ) -Kirchhoff type problem with Dirichlet boundary condition, in the case of a reaction term depending also on the gradient (convection). Using a topological approach based on the Galerkin method, we discuss the existence of two notions of solutions: strong generalized solution and weak solution. Strengthening the bound on the Kirchhoff type term (positivity condition), we establish existence of weak solution, this time using the theory of operators of monotone type.

ConvectionKirchhoff type termApplied MathematicsWeak solutionMathematical analysisWeak solutionGeneralized solutionType (model theory)ConvectionTerm (time)Pseudomonotone operatorNonlinear systemsymbols.namesakeMonotone polygonGalerkin basisSettore MAT/05 - Analisi MatematicaDirichlet boundary conditionsymbolsGalerkin methodAnalysisMathematics
researchProduct